University of Science - PDFSEARCH.IO - Document Search Engine

University of Science
Results: 77099

#	Item
121	Shehar Bano Department of Computer Science, University College London, Gower Street WC1E 6BT, London https://sheharbano.com Employment History. • University College London, Dept. of Computer Science Add to Reading List Source URL: sheharbano.com Language: English - Date: 2018-10-22 09:11:07 Computing California Information technology Steven Murdoch Vern Paxson Blockchain Association for Computing Machinery International Computer Science Institute Paxson Jon Crowcroft
122	Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-06-25 05:08:25 Mathematical analysis Temporal logic Mathematics Computation tree logic Logic in computer science Determinacy Distribution Linear temporal logic Universal representation
123	Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2014-02-26 06:04:38 Parallel computing Application programming interfaces Computer programming Message Passing Interface Computing Edsger W. Dijkstra Deadlock NC Software engineering Model checking
124	Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:42 Software engineering Computer programming Theoretical computer science Automated theorem proving Lisp ACL2 Formal methods Logic in computer science Robert S. Boyer
125	1 Securing Augmented Reality Output Kiron Lebeck, Kimberly Ruth, Tadayoshi Kohno, Franziska Roesner Paul G. Allen School of Computer Science & Engineering University of Washington Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 16:01:40 Humancomputer interaction Reality Computing User interface techniques Augmented reality Mixed reality Virtual reality Multimodal interaction Microsoft HoloLens Head-mounted display Internet privacy JavaScript
126	Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:33:47 Software engineering Java Pathfinder Computer programming Computing Const Obfuscation Assembly languages Programming language syntax Java P-code machine
127	Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2013-06-03 18:23:17 Mathematical analysis Mathematics Statistical randomness Measure theory Boolean algebra Experiment Sigma-algebra Markov chain Determinacy Linear temporal logic Stochastic game Markov decision process
128	Poster: IoTcube: An Automated Analysis Platform for Finding Security Vulnerabilities Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh Department of Computer Science and Engineering Korea University Seoul, Korea Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-21 15:07:31 Software testing Computer security Security engineering Cyberwarfare Cybercrime Computer network security Fuzzing Software bugs Application security Vulnerability Internet of things Heartbleed
129	Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-07-24 04:40:17 Artificial neural networks Computational neuroscience Applied mathematics Neuroscience Cybernetics Computational statistics Market research Deep learning Heart rate variability Emotion recognition Recurrent neural network Affective computing
130	Jamie Hayes Contact Information University College London Dept. of Computer Science Add to Reading List Source URL: www.homepages.ucl.ac.uk Language: English - Date: 2018-10-24 08:20:07 Computing Internet Free software Adversarial machine learning Computer security Machine learning Privacy Internet privacy Deep learning Tor

UPDATE